bounded universal quantifier英 [ˈbaʊndɪd ˌjuːnɪˈvɜːsl ˈkwɒntɪfaɪə(r)]美 [ˈbaʊndɪd ˌjuːnɪˈvɜːrsl ˈkwɑːntɪfaɪər]网络 有界全称量词计算机